Solution of Huntington's “unsolved problem in Boolean algebra”
نویسندگان
چکیده
منابع مشابه
The Boolean SATisfiability Problem in Clifford algebra
We present a formulation of the Boolean Satisfiability Problem in spinor language that allows to give a necessary and sufficient condition for unsatisfiability. With this result we outline an algorithm to test for unsatisfiability with possibly interesting theoretical properties.
متن کاملsolution of security constrained unit commitment problem by a new multi-objective optimization method
چکیده-پخش بار بهینه به عنوان یکی از ابزار زیر بنایی برای تحلیل سیستم های قدرت پیچیده ،برای مدت طولانی مورد بررسی قرار گرفته است.پخش بار بهینه توابع هدف یک سیستم قدرت از جمله تابع هزینه سوخت ،آلودگی ،تلفات را بهینه می کند،و هم زمان قیود سیستم قدرت را نیز برآورده می کند.در کلی ترین حالتopf یک مساله بهینه سازی غیر خطی ،غیر محدب،مقیاس بزرگ،و ایستا می باشد که می تواند شامل متغیرهای کنترلی پیوسته و گ...
Gout an Unsolved Problem.
AT the recent International Conference on Rheumatic Diseases held at Bath a whole day was devoted to the subject of " Gout," but in spite of many interesting papers it must be confessed that no startlingly new contribution to our knowledge of this disease emerged from the discussion. There is no reason to doubt that gout is essentially a disease of metabolism, but in spite of the recent major a...
متن کاملThe Boolean Solution Problem from the Perspective of Predicate Logic
Finding solution values for unknowns in Boolean equations was a principal reasoning mode in the Algebra of Logic of the 19th century. Schröder investigated it as Auflösungsproblem (solution problem). It is closely related to the modern notion of Boolean unification. Today it is commonly presented in an algebraic setting, but seems potentially useful also in knowledge representation based on pre...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Bulletin of the American Mathematical Society
سال: 1933
ISSN: 0002-9904
DOI: 10.1090/s0002-9904-1933-05615-x